Syntactic predicate

Results: 84



#Item
31Applied mathematics / Mathematics / Program logic / Model theory / Hoare logic / Syntactic predicate / Formal verification / Programming language / Semantics of programming languages / Theoretical computer science / Formal methods / Logic in computer science

A Verified Formal Model of a VC Generator R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street Reading UK RG1 2HX

Add to Reading List

Source URL: www.lemma-one.com

Language: English - Date: 2008-07-11 10:38:35
32Semantics / Finite model theory / Syntactic categories / Quantification / Predicate logic / Determiner / Interpretation / FO / Domain / Logic / Theoretical computer science / Linguistics

Context made visible: On the structure of quantified noun phrases Kathryn Davidson (Yale) and Deanna Gagne (UConn) Sign languages sometimes make visible aspects of structure that are covert in spoken languages. Here we a

Add to Reading List

Source URL: nels45.mit.edu

Language: English - Date: 2014-10-28 01:12:16
33Predicate logic / Mathematics / Grammar / Quantification / Predicate / Cumulativity / Mereology / Plural quantification / Property / Logic / Mathematical logic / Semantics

Gather-predicates: massiness over participants Jeremy Kuhn, New York University Overview. Predicates like gather and be numerous have both been described as “collective predicates,” due to syntactic and semantic fact

Add to Reading List

Source URL: nels45.mit.edu

Language: English - Date: 2014-10-28 01:13:31
34Computing / Parsing expression grammar / Top-down parsing / Syntactic predicate / Recursive descent parser / Context-free grammar / Left recursion / Parsing / Formal grammar / Formal languages / Software engineering / Computer programming

Left Recursion in Parsing Expression Grammars S´ergio Medeiros Department of Computer Science – UFS – Aracaju – Brazil Fabio Mascarenhas Department of Computer Science – UFRJ – Rio de Janeiro – Brazil

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2014-02-16 22:20:25
35Formal languages / Parsing / Computability theory / Recursion / Compiler construction / Parsing expression grammar / Left recursion / Syntactic predicate / Attribute grammar / Software engineering / Computing / Computer programming

Bidirectional parsing a functional/logic perspective Peter Kourzanov NXP Eindhoven/TU Delft, Netherlands [removed]

Add to Reading List

Source URL: ifl2014.github.io

Language: English - Date: 2015-03-04 15:20:42
36Parsing / Computing / Compiler construction / ANTLR / Lexical analysis / Syntactic predicate / Lookahead / LL parser / Lex / Programming language implementation / Parser generators / Software

ANTLR Reference Manual ANTLR Reference Manual Table of Contents ANTLR....................................................................................................................................................

Add to Reading List

Source URL: ftp.camk.edu.pl

Language: English - Date: 2004-09-07 05:02:07
37Parts of speech / Syntactic categories / Semantics / Predicate / Noun phrase / Relative clause / Grammatical relation / Dependent clause / Grammatical modifier / Linguistics / Syntax / Grammar

Stanford typed dependencies manual Marie-Catherine de Marneffe and Christopher D. Manning September 2008 Revised for the Stanford Parser v[removed]in February[removed]

Add to Reading List

Source URL: nlp.stanford.edu

Language: English - Date: 2015-02-21 23:32:38
38Computing / Parsing / Compiler construction / ANTLR / Syntactic predicate / Compiler-compiler / LL parser / Lexical analysis / Lookahead / Programming language implementation / Parser generators / Software

ANTLR Reference Manual Home | Download | News | About ANTLR | Support Latest version is[removed]Download now! » » Home

Add to Reading List

Source URL: www.antlr3.org

Language: English - Date: 2014-09-05 16:52:38
39Computing / ANTLR / Syntactic predicate / Parsing / SYNTAX / Bottom-up parsing / Terence Parr / Parser generators / Programming language implementation / Software engineering

Language Translation Using PCCTS and C++ A Reference Guide

Add to Reading List

Source URL: www.antlr2.org

Language: English - Date: 2014-08-15 14:53:58
40Syntax / Predicate / Semantics / Theta role / Resultative / Copula / Subject / Control / Linguistics / Grammar / Parts of speech

Syntactic and Thematic Reconfigurations in English Speakers’ L2 Chinese Resultative Compound Constructions

Add to Reading List

Source URL: www.lingref.com

Language: English - Date: 2013-07-01 12:51:55
UPDATE